- automatic design verification
- автоматична верифікація проекту (ІС)
English-Ukrainian dictionary of microelectronics. 2013.
automatic design verification
Смотреть что такое "automatic design verification" в других словарях:
Design Rationale — In the survey on design rationale (DR) for software engineering [Jarczyk, Loffler Shipman, Design Rationale for Software Engineering: A Survey] the authors give a very clear definition to design rationale, it is “the explicit listing of decisions … Wikipedia
Design rationale — A Decision Based Design Structure, which spans the areas of Engineering Design, Design Rationale and Decision Analysis. A Design Rationale is an explicit documentation of the reasons behind decisions made when designing a system or artifact. As… … Wikipedia
Design For Test — (aka Design for Testability or DFT ) is a name for design techniques that add certain testability features to a microelectronic hardware product design. The premise of the added features is that they make it easier to develop and apply… … Wikipedia
Design for testing — Design for Test (aka Design for Testability or DFT ) is a name for design techniques that add certain testability features to a microelectronic hardware product design. The premise of the added features is that they make it easier to develop and… … Wikipedia
Design closure — is the process by which a VLSI design is modified from its initial description to meet a growing list of design constraints and objectives. Every step in the IC design (such as static timing analysis, placement, routing, and so on) is already… … Wikipedia
Design by contract — (DbC) or Programming by Contract is an approach to designing computer software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary… … Wikipedia
Automatic dependent surveillance-broadcast — (ADS B) is a cooperative surveillance technique for air traffic control and related applications. An ADS B out equipped aircraft determines its own position using a global navigation satellite system and periodically broadcasts this position and… … Wikipedia
Automatic number plate recognition — The system must be able to deal with different styles of license plates … Wikipedia
Electronic design automation — (EDA) is the category of tools for designing and producing electronic systems ranging from printed circuit boards (PCBs) to integrated circuits. This is sometimes referred to as ECAD (electronic computer aided design) or just CAD. (Printed… … Wikipedia
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
Cadence Design Systems — Infobox Company company name = Cadence Design Systems, Inc. company company type = Public foundation = 1988 location = San Jose, California key people = Mike Fister, President/CEO num employees = 5,200 (2006) [… … Wikipedia
